$M$.init($x$)?$v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($M$.2.2).1($x$)?$v$